katalozi baze podataka digitalne zbirke usluge kontakt
Podaci iz CDS/ISIS-a prije konverzije
Ovaj katalog ne obnavlja se od 2008. godine.

Nova verzija kataloga, s ažurnim podacima o dostupnosti primjeraka , nalazi se na adresi http://koha.ffzg.hr.

Rezultati pretraživanja

Broj rezultata: 2

1
ISBN:0-201-17237-2
Naslov:Formal development of programs and proofs / edited by Edsger W. Dijkstra
Impresum:Reading, Mass. : Addison-Wesley Publishing Co. , 1990
Materijalni opis:XIV, 242 str. ; 24 cm
Jezik:engleski
Ključne riječi:
Ostali autori / urednici:Dijkstra, Edsger
Signatura:K 115
Inventarni broj:12687
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za filozofiju, http://www.knjiznice.ffzg.hr/filozofija
MFN:2156
2
ISBN:0-201-17234-8
Naslov:Logical foundations of functional programming / edited by Gérard Huet
Impresum:Cambridge, Mass. : Addison-Wesley Publishing Co. , 1990
Materijalni opis:XV, 491 str. ; 24 cm
Jezik:engleski
Ostali autori / urednici:Huet, Gerard
Signatura:K 116
Inventarni broj:12688
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za filozofiju, http://www.knjiznice.ffzg.hr/filozofija
MFN:2149
1

Upit: Publisher_swish=(Addison-Wesley Publishing Co. )

login